退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过模型检查验证sharedmemory多处理器的顺序一致性
Shaz Qadeer;
机译:通过模型检查来验证共享内存多处理器上的顺序一致性
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:验证OSEK / VDX应用程序:基于序列化的模型检查方法
机译:多处理器SoC的硅前验证:动态一致性/一致性检查的情况
机译:模型检查顺序一致性和参数化协议。
机译:向量验证方法中一致性检查的使用
机译:验证共享内存多处理器的顺序一致性 模型检查
机译:符号模型检验顺序电路验证
机译:用于检查顺序和非顺序提取的指令的运行时一致性的系统和方法
机译:检查多处理器系统的指令处理顺序的一致性
机译:使用应用程序平台工具进行对象模型的生命周期管理和一致性检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。